Lévi-Strauss, Ciência e Renúncia

Science and Human Behavior translated into Portuguese: Ciência e Comportamento Humano.

Science and Human Behavior was translated to Portuguese as part of the effort to begin a psychology course at the University of Brasília 40 years ago; one of the many results of the first visit of Fred S. Keller to Brazil. The book has been used continuously in undergraduate courses in Brazil since 1967.

Electronic Journal Publishing System - Ciência da Informação

Coordenação de Informação e Documentação, IBICT/MCT Instituto Brasileiro de Informação em Ciência e Tecnologia SAS Q.05 Lt. 06 Bl. H, CEP 70070-914, Brasília/DF – Brazil Email: [email protected]; [email protected]; [email protected]; [email protected] Desenvolvimento Web, IBICT/MCT Instituto Brasileiro de Informação em Ciência e Tecnologia SAS Q.05 Lt. 06 Bl. H, CEP 70070-914, Brasília/DF – Brazil Ema...

Churg-Strauss syndrome.

Strauss: a Specification Miner

Program verification tools (such as model checkers) are powerful tools for finding errors in programs. Unfortunately, these tools need lots of formal specifications of correct program behavior. Can we really expect programmers to write all of these specifications by hand? This dissertation is about Strauss, a tool I wrote to bring automation to specification-writing. By observing traces of work...

Churg-strauss syndrome.

First described in 1951 as an allergic and granulomatous angiitis, Churg-Strauss syndrome (CSS) is a small-vessel vasculitis. Mean age at the time of diagnosis is approximately 50 years, with a sex ratio around 1. Asthma is the central feature of CSS and precedes the systemic manifestations in almost all cases, whereas 70% of the patients have maxillary sinusitis, allergic rhinitis, and/or sinu...